TAGs: Formal feedback examples